1 2

Results: 258872



#Item
161Legal professions / Law / Human behavior / United States Postal Service / Solicitor / Service of process / Solicitation / Mail

Form SR-RS, Page 1 of 2 (RevElaine F. Marshall, Secretary of State Solicitor Registration Statement 2018 NO REGISTRATION FEE REQUIRED

Add to Reading List

Source URL: lobby.ncsbe.gov

Language: English - Date: 2018-09-06 09:07:46
162Gambling / Entertainment / Wagering / Online gambling / Sports betting / European Gaming and Betting Association / Bookmaker / Betting exchange

AUGUST 2, 2018 BETMATCH WHITEPAPER THE FIRST DECENTRALIZED BETTING HOUSE BETMATCH LIMITED

Add to Reading List

Source URL: s3.eu-central-1.amazonaws.com

Language: English - Date: 2018-10-08 10:00:09
163Cryptography / Block ciphers / Differential cryptanalysis / Q / Data Encryption Standard / ICE / S-box / ARIA / VEST / NOEKEON / Advanced Encryption Standard / Substitutionpermutation network

LS-Designs: Bitslice Encryption for Efficient Masked Software Implementations Vincent Grosso1 , Ga¨etan Leurent1,2 , Fran¸cois-Xavier Standaert1 , Kerem Varici1 1 ICTEAM/ELEN/Crypto Group, Universit´e catholique de L

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2018-06-14 07:12:36
164Theoretical computer science / Theory of computation / Computer programming / Mathematics / Computability theory / Digital signal processing / Computer arithmetic / Algorithm / Mathematical logic / Recursion / Multiplyaccumulate operation / Time complexity

Behavioral Non-portability in Scientific Numeric Computing Yijia Gu1(B) , Thomas Wahl1 , Mahsa Bayati2(B) , and Miriam Leeser2 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-10-13 09:30:58
165Information theory / Information / Information flow / Mutual information / Conditional entropy / Conditional mutual information / Quicken Interchange Format / Metaphysics / Knowledge

Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
166Economy / Money / Government / Chief financial officer / Public administration / Finance ministries / Lock box / Chief Financial Officers Act / New Zealand Treasury / E-government / Bureau of the Public Debt

A Common Vision for the Future of Financial Management American citizens expect that: 1. the government is an efficient steward of its financial resources; 2. the financial information provided by the government is accu

Add to Reading List

Source URL: fmvision.fiscal.treasury.gov

Language: English - Date: 2018-09-05 11:09:58
167Mathematics / Logarithms / Mathematical analysis / Discrete mathematics / Binary logarithm / 108 / Factorial / Prime number / Common logarithm / P

Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-09-02 14:57:05
168Statistical randomness / Mathematical analysis / Probability theory / Stochastic processes / Markov models / Graph theory / Markov chain / Stochastic differential equations / Distribution / Stochastic simulation / Normal distribution / Decomposition of spectrum

Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-06-06 06:37:52
169Logic / Reasoning / Inductive reasoning / Predicate logic / Mathematical logic / Predicate / Propositional calculus / Inference / Universal quantification / Axiom

Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

Add to Reading List

Source URL: uclmr.github.io

Language: English - Date: 2018-08-06 06:17:49
170Itemis / YAKINDU Statechart Tools / Application software / Software license

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

Add to Reading List

Source URL: legal.itemis.com

Language: English - Date: 2018-08-08 08:21:49
UPDATE